Modellbasierter Komponententest mit visuellen Kontrakten
نویسندگان
چکیده
Das Verhalten von quasimodalen Klassen ist abhängig von dem Systemzustand, in dem sie ausgeführt werden. Beim Testen von quasimodalen Klassen muss der Systemzustand so gesetzt werden, damit die zu testende Klasse ausgeführt werden kann. Nach der Testausführung müssen die Änderungen im Systemzustand evaluiert und so die Korrektheit des Verhaltens der Klasse gegenüber ihrer Spezifikation geprüft werden. In diesem Beitrag stellen wir ein modellbasiertes Verfahren zum Komponententest vor, mit dem das Verhalten der quasimodalen Klassen anhand Vorund Nachbedingungen modelliert und durch automatisiert generierte Testfälle geprüft wird. Die implementierte Werkzeugunterstützung ermöglicht die Einbindung des Verfahrens in die entwicklungsnahen Aktivitäten des Komponententests.
منابع مشابه
Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen
Die Hauptaufgabe der Anforderungsanalyse ist es, Kundenwünsche zu verstehen und sie in einer Form aufzunehmen, so dass weitere Beteiligte im Software-Entwicklungsprozess diese für die anschließenden Entwicklungsaktivitäten nutzen können. Dafür müssen die funktionalen und nichtfunktionalen Anforderungen klar und verständlich formuliert sein. Die Formulierung muss außerdem eindeutig und einheitli...
متن کاملAutorenwerkzeug Javanti
Javanti ist ein Autorenwerkzeug, mit dem sich interaktive Präsentationen und Lernkurse entwickeln lassen. Es dient vor allem der besseren Visualisierung von Informationen und Wissen. Auf virtuellen Folien lassen sich visuelle Elemente platzieren. Die Elemente können statisch, dynamisch oder interaktiv sein. Mit Hilfe einer visuellen Sprache und einer Skriptsprache sind Eigenschaftsveränderungen...
متن کاملEin Verfahren zur automatischen Erstellung eines visuellen Wörterbuchs für die Bildsuche
Das Internet bietet eine enorme Anzahl an Bildern. Bildsuchmaschinen stehen vor der Herausforderung Bilder effektiv und effizient zu erschließen. Die klassischen Arten der Bildsuche, die stichwortund die inhaltsbasierte Bildsuche, haben Nachteile. Ein Retrieval-Modell, welches die Vorteile beider Sucharten integriert und die Nachteile ausschließt, ist die auf einem visuellen Wörterbuch basieren...
متن کاملA simple cell model with dominating opponent inhibition for robust contrast detection
Zusammenfassung. Im primären visuellen Pfad wird Information in zwei getrennten, komplementären Domänen repräsentiert, den onund off-Zellen. In dieser Arbeit untersuchen wir die Interaktion von onund off-Zellen zur Generierung der Eingabe für eine kortikale Einfachzelle. Basierend auf physiologischen Studien schlagen wir einen Mechanismus vor, bei dem eine kortikale Einfachzelle aus beiden Domä...
متن کامل